Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
91	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
92	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
93	ALGOL 60 - Chapter 6, Formal Specification and Software Development Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-08-19 19:14:29 Software engineering Computer programming Programming language theory Procedural programming languages ALGOL 68 ALGOL Scope Subroutine For loop Pascal PL/I MAD
94	A Formal Definition of Algol 60 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-11-05 17:36:16 Software engineering Computer programming Programming language theory Procedural programming languages ALGOL MAD Big O notation Declaration Recursion PL/I Block Limit of a function
95	A Lattice-Based Approach to Deterministic Parallelism Lindsey Kuper and Ryan R. Newton Indiana University POPL 2013 Student Session 25 January 2013 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-01-25 05:54:53 Mathematics Formal languages Probability theory Boolean algebra Measure theory Sigma-algebra Permutation
96	Properties of CFL’s • Simplification of CFG’s. This makes life easier, since we can claim that if a language is CF, then it has a grammar of a special form. • Pumping Lemma for CFL’s. Similar to the regular ca Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:53:52 Formal languages Grammar Constructible universe Formal grammar Logic Cognitive science Useless rules Controlled grammar
97	BOOKS ABOUT TABE EXAMPLES OF COMPUTATION IN CONTEXT Cityhalllosangeles.com TABE EXAMPLES OF COMPUT... Add to Reading List Source URL: t.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:57:54 Formal languages Theory of computation Algebra Musical form Context-free grammar Rhyme scheme Computing
98	Design and Implementation of a PHP Compiler Front-end Edsko de Vries∗ and John Gilbert {devriese, gilberj}@cs.tcd.ie Department of Computer Science School of Computer Science and Statistics Trinity College Dublin, Irel Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software Computing Compiler construction Compiling tools Formal languages Cross-platform software Parser generators Syntax GNU bison Parsing Lexical analysis PHP
99	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
100	The Mother of All Tableaux NOW WORKING ON THE MS — 9:00am 6/30 — NM P Nazarré Merchant Alan Prince Silent, upon a peak in Darien Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2016-07-12 15:05:00 Linguistics Humanities Archaeology Formal languages Grammar Language comparison Linguistic typology Typology Equivalence Dependency grammar Formal grammar Language

UPDATE